Integral lnsinx from 0 to pi